#include <stdio.h>
#include "framework.h"



char putchar(char ch)
{
	uart0_write(&ch, sizeof(ch));
	//uart1_write(&ch, sizeof(ch));
	return ch;
}



void main(void)
{
	timer0_init(TIMER_LOAD_VALUE16(0.001,FOSC,12), soft_timer_pulse);
	uart0_init(9600, 0, 0);
	INTERRUPT_ENABLE();
	timer4_start();

	for(;;)
	{
		event_pull();
		soft_timer_pull();
	}
}
